# SPDX-License-Identifier: Apache-2.0

target_sources(seminix
  PRIVATE
  bootinfo.c client.c cnode.c deadline.c device.c
  ipc.c rlimit.c signal.c tcb.c vmmap.c
)

add_subdirectory(arch/${ARCH})
